Linear Logic and Sub-polynomial Classes of Complexity. (Logique linéaire et classes de complexité sous-polynomiales)
نویسنده
چکیده
M. Patrick Baillot C.N.R.S., E.N.S. Lyon (Rapporteur) M. Arnaud Durand Université Denis Diderot Paris 7 M. Ugo Dal Lago I.N.R.I.A., Università degli Studi di Bologna (Rapporteur) Mme. Claudia Faggian C.N.R.S., Université Paris Diderot Paris 7 M. Stefano Guerrini Institut Galilée Université Paris :3 (Directeur) M. Jean-Yves Marion Lo.R.I.A., Université de Lorraine M. Paul-André Melliès C.N.R.S., Université Paris Diderot Paris 7 M. Virgile Mogbil Institut Galilée Université Paris :3 (Co-encadrant)
منابع مشابه
Nonuniform Complexity Classes Specified by Lower and Upper Bounds
We characterize in terms of oracle Turing machines the classes defined by exponential lower bounds on some nonuniform complexity measures. After, we use the same methods to giue a new characterization of classes defined by polynomial and polylog upper bounds, obtaining an unified approach to deal with upper and lower bounds, The main measures are the initial index, the context-free cosU ond the...
متن کاملSeperating Complexity Classes Related to Certain Input Oblivious Logarithmic Space-Bounded Turing Machines
In thefollowing we prove that input oblivious simultaneously linear access-time and logarithmic space-bounded nondeterministic Turing machines are more powerful than deterministic ones. Moreover, we separate all the corresponding complexity classes Lo Hn, 7VZ0Un, co-NL0i Iîn and P~AL01infrom each other. Résumé. — Dans cet article, nous prouvons que les machines de Turing non déterministes à lec...
متن کاملRésolution exacte et approchée de problèmes de décision markoviens formulés en logique propositionnelle
RÉSUMÉ. Nous présentons une méthode factorisée de résolution de Processus de Décision Markoviens formulés en logique propositionnelle. Nous montrons que la complexité de la résolution de tels problèmes dépend directement de celles des opérations logiques mises en œuvre telles que le test de satisfaisabilité. Afin de réduire cette complexité, nous proposons une méthode d’approximation des problè...
متن کاملFiniteness Conditions for Graph Algebras over Tropical Semirings
Connection matrices for graph parameters with values in a field have been introduced by M. Freedman, L. Lovász and A. Schrijver (2007). Graph parameters with connection matrices of finite rank can be computed in polynomial time on graph classes of bounded tree-width. We introduce join matrices, a generalization of connection matrices, and allow graph parameters to take values in the tropical ri...
متن کاملAnalyse de dépendances et correction des réseaux de preuve
Les fruits de Curry-Howard. Depuis la mise en évidence via la correspondance de CurryHoward [21], des relations entre démonstrations mathématiques et programmes informatiques, théorie de la programmation et théorie de la démonstration s’enrichissent mutuellement. Parmi les nombreux allers-retours fructueux entre preuves et programmes, la logique linéaire [13] tient une place exemplaire. Girard ...
متن کامل